Representing Boolean Functions Using Polynomials: More Can Offer Less

نویسنده

  • Yi Ming Zou
چکیده

Polynomial threshold gates are basic processing units of an artificial neural network. When the input vectors are binary vectors, these gates correspond to Boolean functions and can be analyzed via their polynomial representations. In practical applications, it is desirable to find a polynomial representation with the smallest number of terms possible, in order to use the least possible number of input lines to the unit under consideration. For this purpose, instead of an exact polynomial representation, usually the sign representation of a Boolean function is considered. The non-uniqueness of the sign representation allows the possibility for using a smaller number of monomials by solving a minimization problem. This minimization problem is combinatorial in nature, and so far the best known deterministic algorithm claims the use of at most 0.75 × 2n of the 2n total possible monomials. In this paper, the basic methods of representing a Boolean function by polynomials are examined, and an alternative approach to this problem is proposed. It is shown that it is possible to use at most 0.5 × 2n = 2 monomials based on the {0, 1} binary inputs by introducing extra variables, and at the same time keeping the degree upper bound at n. An algorithm for further reduction of the number of terms that used in a polynomial representation is provided. Examples show that in certain applications, the improvement achieved by the proposed method over the existing methods is significant.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A note on quantum algorithms and the minimal degree of ε-error polynomials for symmetric functions

The degrees of polynomials representing or approximating Boolean functions are a prominent tool in various branches of complexity theory. Sherstov [She08a] recently characterized the minimal degree degε(f) among all polynomials (over R) that approximate a symmetric function f : {0, 1}n → {0, 1} up to worst-case error ε: degε(f) = Θ̃ ( deg1/3(f) + √ n log(1/ε) ) . In this note we show how a tight...

متن کامل

Boolean Gröbner Basis Reductions on Datapath Circuits Using the Unate Cube Set Algebra

Recent developments in formal datapath verification make efficient use of symbolic computer algebra algorithms for formal verification. The circuit is modeled as a set of polynomials over Boolean (or pseudo-Boolean) rings, and Gröbner basis (GB) reductions are performed over these polynomials to derive a canonical representation. GB reductions of Boolean polynomials tend to cause intermediate e...

متن کامل

The Complexity of AND-Decomposition of Boolean Formulas

Decomposition of boolean functions is an important research topic having a long history and a wide range of applications in the logic circuit synthesis, (hyper)graph/game theory, and combinatorial optimization. AND-decomposition means representing a boolean function as a conjunction of two (or several) functions sharing a given subset of variables. If the shared subset is empty, the decompositi...

متن کامل

Symmetric polynomials over Zm and simultaneous communication protocols

We study the problem of representing symmetric Boolean functions as symmetric polynomials over Zm. We show an equivalence between such representations and simultaneous communication protocols. Computing a function f on 0 1 inputs with a polynomial of degree d modulo pq is equivalent to a two player simultaneous protocol for computing f where one player is given the first dlogp de digits of the ...

متن کامل

Interpolation of the tabular functions with fuzzy input and fuzzy output

In this paper, rst a design is proposed for representing fuzzy polynomials withinput fuzzy and output fuzzy. Then, we sketch a constructive proof for existenceof such polynomial which can be fuzzy interpolation polynomial in a set given ofdiscrete points rather than a fuzzy function. Finally, to illustrate some numericalexamples are solved.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011